\begin{tabbing}
$\forall$\=$A$:Type, $I$:MaInterface($A$), $i$:\{$i$:Id$\mid$ ($i$ $\in$ fpf{-}domain($I$))\} ,\+
\\[0ex]$k$:\{$k$:Knd$\mid$ ($k$ $\in$ fpf{-}domain($I$($i$).2))\} .
\-\\[0ex]($k$ $\in$ ma{-}interface{-}kinds($I$))
\end{tabbing}